model checking meaning in English

模型置信度

Direct model checking matrix algorithm
直接模型检测矩阵算法
Strategy to group partitioned transition relationship in model checking
模型检验中迁移关系的分组策略
Two ford models checked in last week
上周有两个杂志模特
Remove irrelevant atomic formulas for timed automaton model checking
时间自动机的模型检验中消除无关原子约束
Analysis of contract signing protocol based on probabilistic model checking
基于概率模型检测的合同签订协议分析

More: Next